@:deprecated
function deprecated() {}

function main() {
	deprecated();
}
